Generalized Rough Logics with Rough Algebraic Semantics

نویسنده

  • Jianhua Dai
چکیده

The collection of the rough set pairs of an approximation (U, R) can be made into a Stone algebra by defining two binary operators and one unary operator on the pairs. By introducing a more unary operator, one can get a regular double Stone algebra to describe the rough set pairs of an approximation space. Sequent calculi corresponding to the rough algebras, including rough Stone algebras, Stone algebras, rough double Stone algebras, and regular double Stone algebras are proposed in this paper. The sequent calculi are called rough Stone logic (RSL), Stone logic (SL), rough double Stone logic (RDSL), and double Stone Logic (DSL). The languages, axioms and rules are presented. The soundness and completeness of the logics are proved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

MEANING, CHOICE and ALGEBRAIC SEMANTICS of SIMILARITY BASED ROUGH SET THEORY

Both algebraic and computational approaches for dealing with similarity spaces are well known in generalized rough set theory. However, these studies may be said to have been confined to particular perspectives of distinguishability in the context. In this research, the essence of an algebraic semantics that can deal with all possible concepts of distinguishability over similarity spaces is pro...

متن کامل

Algebraic Semantics of Similarity-Based Bitten Rough Set Theory

We develop two algebraic semantics for bitten rough set theory ([19]) over similarity spaces and their abstract granular versions. Connections with choice based generalized rough semantics developed in [15] by the present author and general cover based rough set theories are also considered.

متن کامل

Rough ideals based on ideal determined varieties

The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...

متن کامل

Modal Reasoning and Rough Set Theory

In this paper, we would like to present some modal logics with semantics based on rough set theory and related notions. In addition to surveying some well-known results about the links between modal logics and rough set theory, we also develop some new applied logics inspired I)y generalized rough set theory. Kcywor(ls: Rough set, modal logic, cpistcmic logic. 1 I n t r o d u c t i o n Tile rou...

متن کامل

Dialectical Rough Sets, Parthood and Figures of Opposition

In one perspective, the central problem pursued in this research is that of the inverse problem in the context of general rough sets. The problem is about the existence of rough basis for given approximations in a context. Granular operator spaces were recently introduced by the present author as an optimal framework for anti-chain based algebraic semantics of general rough sets and the inverse...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IJCINI

دوره 4  شماره 

صفحات  -

تاریخ انتشار 2010